Studies in Humanism. F. C. S. Schiller

T F S C

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...

C . F . S . and

T L  C S C F-  

A: Well, yes, Yuri asked me if I wanted to write a logic column, and suggested to talk to you for some inspiration. Q: Sure, we can talk. Do you already have an idea what you will write about? A: I was thinking, perhaps I could write about first-order topological properties. Q: I suppose that is first-order as in " first-order logic " , but what's about the topol-ogy? I'm afraid I do not know m...

T L  C S C F     

A new simple construction of an aperiodic tile set based on self-referential (fixed point) argument is proposed. People often say about some discovery that it appeared “ahead of time”, meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, ...

C. S. F. in 105 Cases

The object of this paper is to present the results of the' study of cerebrospinal fluid examination with a view to estimating its role in diagnosis. C.S.F. examination in 105 cases in which nervous system involvement was suspected was undertaken, and the results of this examination were studied with special reference to the clinical diagnosis. These cases were followed till a final diagnosis wa...